NuSEE: AN INTEGRATED ENVIRONMENT OF SOFTWARE SPECIFICATION AND V&V FOR PLC BASED SAFETY- CRITICAL SYSTEMS
نویسندگان
چکیده
SEO RYONG KOO, POONG HYUN SEONG, JUNBEOM YOO, SUNG DEOK CHA, CHEONG YOUN and HYUNCHUL HAN Korea Advanced Institute of Science and Technology Department of Nuclear and Quantum Engineering Department of Electrical Engineering & Computer Science, Division of Computer Science 373-1 Guseong-dong, Yuseong-gu, Daejeon, 305-701, Korea Chungnam National University, Department of Information and Communication CQCom Inc. 220 Gung-dong, Yuseong-gu, Daejeon, 305-764, Korea Corresponding author. E-mail : [email protected]
منابع مشابه
An integrated environment of S/W specification and V&V for safety-critical systems
As a digital system becomes more important in recent years, software specification and analysis techniques become a central problem in the safety-critical systems. Therefore, the importance of software verification and validation (V&V) based on an adequate specification is more emphasized in view of the software quality. For a thorough V&V, it should be performed throughout whole software life ...
متن کاملAn effective technique for the software requirements analysis of NPP safety-critical systems, based on software inspection, requirements traceability, and formal specification
A thorough requirements analysis is indispensable for developing and implementing safety-critical software systems such as nuclear power plant (NPP) software systems because a single error in the requirements can generate serious software faults. However, it is very difficult to completely analyze system requirements. In this paper, an effective technique for the software requirements analysis ...
متن کاملSoftware Quality Starts with the Modelling of Goal-Oriented Requirements
Developing high quality requirements specifications is mandatory for a number of critical industrial systems. The KAOS goal-driven methodology has been designed to elicit and validate requirements and also to prove their consistency. This methodology has been successfully implemented in two integrated tools (Objectiver and FAUST) and has been validated in many industrial projects. All of these ...
متن کاملAutomated generation of high-integrity test suites from graphical specifications
There is a strong need to ensure that the software controlling safety–critical systems is of the highest possible integrity. Present approaches to achieving this integrity through Verification and Validation (V&V) are expensive and predominantly reliant on manual processes. Techniques that have been proposed to improve the V&V of safety–critical systems – formal methods, graphical specification...
متن کاملFormal Methods in the development of safety critical knowledge-based components
The work reported in this paper is part of the ongoing Esprit project Safe-KBS n. 22360∗. A main objective of the project is the definition of a engineering methodology for certifiable knowledge-based software components to be embedded into safety critical systems. Since about a decade the use of formal methods in the development of traditional software for safety critical systems has been grea...
متن کامل